Reflexive and Symmetric Relations on a Set Proof